Complete Boolean algebra - PDFSEARCH.IO - Document Search Engine

Complete Boolean algebra
Results: 108

#	Item
91	Commentationes Mathematicae Universitatis Carolinae Alessandro Fedeli Add to Reading List Source URL: dml.cz Language: English Mathematical analysis Cardinal number Infinitary combinatorics Complete Boolean algebra Hausdorff space Support Exponentiation Weakly compact cardinal Locally convex topological vector space Mathematics Large cardinals Mathematical logic
92	S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect) Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2007-02-18 15:26:16 Mathematics Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Mathematical optimization Program optimization Satisfiability Modulo Theories Theoretical computer science Applied mathematics Formal methods
93	PDF Document Add to Reading List Source URL: www.tc.faa.gov Language: English - Date: 2003-05-29 15:16:00 Graph theory NP-complete problems Graph coloring Applied mathematics Boolean data type Relational operator Mathematics Theoretical computer science Boolean algebra
94	PDF Document Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2001-03-30 15:59:53 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem GRASP Unit propagation Resolution Theoretical computer science Mathematics Mathematical logic
95	PDF Document Add to Reading List Source URL: www.math.uwo.ca Language: English - Date: 2000-03-22 10:43:59 Combinatorial optimization Matching Boolean algebra Hungarian algorithm Graph NP-complete problems 3-dimensional matching Linear programming Graph theory Mathematics Theoretical computer science
96	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics
97	PDF Document Add to Reading List Source URL: www.logic.math.helsinki.fi Language: English - Date: 2010-05-30 08:55:18 Forcing Boolean algebra Order theory Model theory Complete Boolean algebra Boolean-valued model First-order logic Constructible universe FO Mathematical logic Mathematics Logic
98	PDF Document Add to Reading List Source URL: ecommons.library.cornell.edu Language: English - Date: 2007-04-24 02:27:28 Algebraic structures Semiring Kleene algebra Complete Boolean algebra Boolean algebra Von Neumann algebra Sigma-algebra Idempotence Functor Mathematics Abstract algebra Algebra
99	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:30:09 Complexity classes Mathematical optimization NP-complete problems Logical truth Boolean algebra P versus NP problem Boolean satisfiability problem NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
100	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2006-11-16 10:32:03 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Satisfiability Modulo Theories True quantified Boolean formula Solver Theoretical computer science Applied mathematics Mathematics

UPDATE